Chatbots for Modelling, Modelling of Chatbots

Tesis Doctoral inédita leída en la Universidad Autónoma de Madrid, Escuela Politécnica Superior, Departamento de Ingeniería Informática. Fecha de Lectura: 28-03-202

Un lenguaje de dominio específico para el análisis estático de programas Java

En la actualidad, el aumento del tamaño y la complejidad de los programas junto con la necesidad de seguridad y durabilidad han hecho crecer el uso de herramientas que automatizan el análisis de los programas. Concretamente, las herramientas de análisis estático, que permiten realizar un análisis sobre el código fuente sin necesidad de ejecutarlo. Estas herramientas, normalmente, centran sus esfuerzos en encontrar errores de programación, dejando por explorar un uso más amplio del análisis estático como puede ser la consulta de características en el código fuente. Dichas características pueden ser usadas para la búsqueda de patrones de programación, hacer cumplir normas de estilo en el código o, simplemente, ser requerimientos que se exigen en un proyecto. Para ello, se ha desarrollado JavaCheck, un lenguaje de dominio específico que permite generar reglas para definir propiedades esperables en código Java, como por ejemplo los modificadores de un atributo o el tipo de retorno de un método, que posteriormente serán comprobadas en proyectos. Se proporciona para ello un entorno de modelado de reglas integrado en Eclipse, por ser uno de los entornos de desarrollo más utilizado para Java, junto con una sintaxis concreta textual centrada en facilitar su creación. Para la comprobación de las reglas en proyectos Java, se ha creado un generador de código que utiliza una librería con funcionalidad para recorrer el árbol sintáctico de los programas. El desarrollo de JavaCheck se ha realizado con Eclipse Modeling Framework. Para validar JavaCheck se han realizado tres tipos de pruebas en función de que aspecto del lenguaje que se quiere validar: pruebas de expresividad, pruebas de utilidad y pruebas de escalabilidad. Terminado este proyecto, el principal trabajo futuro que se puede desarrollar es la ampliación del lenguaje, debido al amplio abanico de características que puede tener un código Java.Nowadays the increase in the program’s size and complexity and the need for more security and durability have increased the use of tools to automate the analysis of programs, specifically static analysis tools, which perform analysis on the source code without having to run it. These tools usually focus on finding programming errors, neglecting the definition and query of more general properties in the source code. These properties can be used to search programming patterns, enforce coding standards, or simply be requirements that are demanded in a project. To do this, JavaCheck has been developed, a domain specific language that allows generating rules to define properties expected in Java code which will be verified in projects. For this purpose, a rule modeling environment integrated in Eclipse is provided, as it is one of the most used development environments for Java, along with a specific syntax focused on facilitating its creation. Finally, using a library and a code generator designed to analyze projects according to the rules. JavaCheck has been developed in the Eclipse Modeling Framework. JavaCheck has been validated in three perspectives, depending on the aspect of the language to be validated: expressiveness, utility and scalability. Finished this project, the main future work that can be developed is the extension of the language, due to the large number of properties that can have Java code

Modelado colaborativo en lenguaje natural a través de redes sociales

El desarrollo dirigido por modelos (MDE) automatiza el desarrollo del software y tiene como pieza central los modelos. Estos, además de ser elementos de diseño del sistema, se usan durante todo el ciclo de vida del sistema para validar, simular, probar, mantener y generar código de la aplicación final. Los modelos se convierten en una pieza fundamental, y es esencial para garantizar la calidad del software, su adecuada construcción. Para eso, no solo es necesaria la participación de los expertos en modelado, sino que, además los expertos de dominio juegan un papel muy importante en el desarrollo de modelos de dominio. Nace así la necesidad de modelado colaborativo entre expertos de dominio y expertos de modelado. Para facilitar las tareas de modelado colaborativo, las herramientas juegan un papel muy importante. Y deben dar soporte, no solo al modelado, sino también a labores de gestión, comunicación y coordinación. Por otro lado, las redes sociales han ganado importancia durante los últimos años. Han demostrado una gran eficacia en tareas de discusión, de coordinación, y de diseminación de información. Tanto es así, que no solo se han quedado en el ámbito personal, sino que muchas redes sociales han nacido para satisfacer estas necesidades en el ámbito laboral, como Workplace by Facebook, Slack o Yammer. En la ingeniería del software el uso de las redes sociales se ha adoptado como mecanismo de coordinación y colaboración. Redes Sociales como Stackoverflow, han surgido para que comunidades de desarrolladores compartan y aprendan unos de otros. Por otro lado, el avance en el procesamiento de lenguaje natural (LN) ha permitido que surjan bots o chatbots, programas con los que se interactua a través de LN y que permiten obtener información o automatizar tareas. Aprovechándose de las ventajas que ofrecen las redes sociales para comunicación y coordinación, en este trabajo se propone SOCIO, un bot que funciona sobre redes sociales para realizar tareas de modelado colaborativo. SOCIO proporciona soporte para modelado, interpretando requisitos expresados en LN, acercando de esta manera el modelado a participantes con poca experiencia en esa área, como pueden ser expertos de dominio. El bot mantiene un historial de mensajes que ayuda a mantener la trazabilidad del modelo. SOCIO tiene una arquitectura fácilmente extensible a diferentes redes sociales. Actualmente, el bot está disponible en Telegram y Twitter. Por último, la herramienta ha sido evaluada en un estudio preliminar sobre Telegram con resultados muy prometedores, que nos animan para continuar trabajando sobre este enfoque y mejorar el procesamiento de lenguaje natural.Model Driven Engineering (MDE) automates software development by promoting models as the main assets in software projects. Models are actively used throughout the software life cycle, as design elements, to simulate, validate, test, maintain and generate code for the final application. This way, models becomes as a fundamental part of development, and are essential to ensure the quality of software. Thus, not only the involvement of modelling experts is necessary, but also the domain experts have an important role to play in development of the domain models. Modelling is a collaborative task performed between modelling experts and domain experts. Therefore, the tools are important to facilitate collaborative task. They must provide collaboration support and management, discussion and coordination mechanisms. Currently, social networks have gained an enormous prominence in our daily life. They provide a lightweight, agile, ubiquitous mechanism for discussion, coordination and dissemination of information tasks. Not only general propose networks, but also many social networks like Workplace by Facebook, Slack or Yammer, have emerged to meet this need in enterprises. In software engineering, the use of social networks has been adopted as a coordination and collaboration mechanism. Social networks such as Stackoverflow have emerged to help developer communities to share and learn from each other. In addition, the advance in the processing of natural language (NL) has allowed bots or chatbots to emerge. These are programs whose interaction mechanism is based on NL, and can be used to obtain information or automate tasks. Given the benefits of social networks, this work proposes SOCIO, a bot, which works over social networks, to assist in collaborative modelling tasks. SOCIO provides modelling support interpreting requirements in NL. Thus it facilitates the modelling task to participants with low technical experience, like domain experts. SOCIO has an extensible architecture that supports different social networks. Currently, the bot is available on Telegram and Twitter. Finally, the tool has been evaluated in a preliminary study on Telegram with very promising results, which encourages us to continue working on this approach and improve natural language processing

Choosing a Chatbot Development Tool

© 2021 IEEE.  Personal use of this material is permitted.  Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other worksChatbots are programs that supply services to users via conversation in natural language, acting as virtual assistants within social networks or web applications. Here, we review the most representative chatbot development tools with a focus on technical and managerial aspectsThis work was partially funded by the R&D program of the Madrid Region (project FORTE, S2018/TCS4314), and the Spanish Ministry of Science (project MASSIVE, RTI2018-095255-B-I00

Automating the synthesis of recommender systems for modelling languages

We are witnessing an increasing interest in building recommender systems (RSs) for all sorts of Software Engineering activities. Modelling is no exception to this trend, as modelling environments are being enriched with RSs that help building models by providing recommendations based on previous solutions to similar problems in the same domain. However, building a RS from scratch requires considerable effort and specialized knowledge. To alleviate this problem, we propose an automated approach to the generation of RSs for modelling languages. Our approach is model-based, and we provide a domain-specific language called Droid to configure every aspect of the RS (like the type and features of the recommended items, the recommendation method, and the evaluation metrics). The RS so configured can be deployed as a service, and we offer out-of-the-box integration of this service with the EMF tree editor. To assess the usefulness of our proposal, we present a case study on the integration of a generated RS with a modelling chatbot, and report on an offline experiment measuring the precision and completeness of the recommendationsThis project has received funding from the EU Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 813884, the Spanish Ministry of Science (RTI2018-095255-B-I00) and the R&D programme of Madrid (P2018/TCS-4314

Uso de las TIC/TAC en el Aula de Lengua y Literatura. Líneas de investigación en LIJ 2.0

La red de investigación en docencia universitaria “De las tabletas a los MOOC en la LIJ 2.0 y la didáctica de lengua y literatura” (Modalidad II. Código 2962 http://web.ua.es/es/ice/redes/2014/proyectos-modalidad-ii-2013-2014.html) ha continuado las principales líneas de trabajo desarrolladas por las anteriores redes del área de didáctica de la lengua y la literatura de la Universidad de Alicante (Mula et alii 2011, Llorens et alii 2012, Rovira et alii, 2013 http://web.ua.es/es/ice/redes/proyectos-cursos-anteriores.html). La integración de las Tecnologías de la Información y la Comunicación (TIC) o las Tecnologías del Aprendizaje y el Conocimiento (TAC) en el aula de lengua y literatura española es una realidad que presenta múltiples formas según el nivel, los equipos y herramientas disponibles o las metodologías utilizadas. Se han planteado dos líneas principales, recogidas en el título de la red: el estudio de las posibilidades didácticas de las tabletas y aplicaciones móviles, coordinado por Pedro Mendiola y la introducción a los MOOC Massive Online Open Course (Cursos Masivos, Abiertos y En línea) dirigida por Arantxa Martín Martín. Además, se han planteado otra serie de actuaciones como el uso del Moodle o la introducción al formato de los Book-tráilers como herramienta de animación lectora para seguir analizando las posibilidades de Internet para la didáctica de la lengua y la literatura

De las tabletas a los MOOC en la LIJ 2.0 y la didáctica de lengua y literatura

Según los Informes Horizon 2013 y 2014 para la educación superior y para la etapa escolar, la programación en la nube, los cursos masivos abiertos en línea y el trabajo con tabletas y aplicaciones móviles serán las tendencias principales de los próximos años en tecnología educativa. Las tabletas y sus aplicaciones han entrado en todos los niveles educativos y ya es habitual verlas en cualquier clase por lo que es imprescindible conocer sus posibilidades para sacarles el máximo rendimiento. Además la Universidad de Alicante se ha convertido en referente en el diseño de MOOC con Unimooc como modelo pionero y XarxaMOOC como buque insignia en el ámbito lingüístico. Desde el área de didáctica de la lengua y la literatura y para reforzar el concepto LIJ 2.0 (lectura y literatura infantil y juvenil en la web social) queremos profundizar en ambos conceptos, presentar una breve panorámica y hacer un resumido estudio de casos para proponer una serie de ejemplos y herramientas que nos sean útiles en el futuro

Community-acquired methicillin-resistant Staphylococcus aureus: what do we need to know?

AbstractCommunity-associated methicillin-resistant Staphylococcus aureus (CA-MRSA) has become a matter of concern worldwide, in particular in the USA. For the analysis of emergence and spread, clear definitions based on epidemiological origin are needed for discrimination between CA-MRSA, healthcare-associated community MRSA, and healthcare-associated MRSA (HA-MRSA). Although its role in pathogenesis is currently under debate, the capability for Panton–Valentine leukocidin formation is associated with the majority of CA-MRSA isolates from North America and from Europe. Most CA-MRSA isolates are attributed to clonal lineages different from HA-MRSA; there are, however, clonal lineages from which both HA-MRSA and CA-MRSA have been reported (e.g. ST1, ST5, ST8, and ST22); CA-MRSA ST8 (USA300), which is most frequent in the USA, has meanwhile been reported from Europe. CA-MRSA ST80 is widely disseminated in Europe; because of its pronounced oxacillin heteroresistance phenotype, cefoxitin-based assays are advisable for reliable detection. So far, CA-MRSA infections seem to be much less frequent in Europe than in the USA, where patients with particular predispositions and low social status are at especial risk

Large Genomic Imbalances in Brugada Syndrome

Purpose Brugada syndrome (BrS) is a form of cardiac arrhythmia which may lead to sudden cardiac death. The recommended genetic testing (direct sequencing of SCN5A) uncovers disease-causing SNVs and/or indels in ~20% of cases. Limited information exists about the frequency of copy number variants (CNVs) in SCN5A in BrS patients, and the role of CNVs in BrS-minor genes is a completely unexplored field. Methods 220 BrS patients with negative genetic results were studied to detect CNVs in SCN5A. 63 cases were also screened for CNVs in BrS-minor genes. Studies were performed by Multiplex ligation-dependent probe amplification or Next-Generation Sequencing (NGS). Results The detection rate for CNVs in SCN5A was 0.45% (1/220). The detected imbalance consisted of a duplication from exon 15 to exon 28, and could potentially explain the BrS phenotype. No CNVs were found in BrS-minor genes. Conclusion CNVs in current BrS-related genes are uncommon among BrS patients. However, as these rearrangements may underlie a portion of cases and they undergo unnoticed by traditional sequencing, an appealing alternative to conventional studies in these patients could be targeted NGS, including in a single experiment the study of SNVs, indels and CNVs in all the known BrS-related genes

Jardins per a la salut

Facultat de Farmàcia, Universitat de Barcelona. Ensenyament: Grau de Farmàcia. Assignatura: Botànica farmacèutica. Curs: 2014-2015. Coordinadors: Joan Simon, Cèsar Blanché i Maria Bosch.Els materials que aquí es presenten són el recull de les fitxes botàniques de 128 espècies presents en el Jardí Ferran Soldevila de l’Edifici Històric de la UB. Els treballs han estat realitzats manera individual per part dels estudiants dels grups M-3 i T-1 de l’assignatura Botànica Farmacèutica durant els mesos de febrer a maig del curs 2014-15 com a resultat final del Projecte d’Innovació Docent «Jardins per a la salut: aprenentatge servei a Botànica farmacèutica» (codi 2014PID-UB/054). Tots els treballs s’han dut a terme a través de la plataforma de GoogleDocs i han estat tutoritzats pels professors de l’assignatura. L’objectiu principal de l’activitat ha estat fomentar l’aprenentatge autònom i col·laboratiu en Botànica farmacèutica. També s’ha pretès motivar els estudiants a través del retorn de part del seu esforç a la societat a través d’una experiència d’Aprenentatge-Servei, deixant disponible finalment el treball dels estudiants per a poder ser consultable a través d’una Web pública amb la possibilitat de poder-ho fer in-situ en el propi jardí mitjançant codis QR amb un smartphone